Vector space and subspace